MUON Projects Help
Log in Sign up
MUON home Help Muon tools
Convert DGS to history

Convert DGS to history
Parses a DGS file and produces a history of nodes creations and deletions

Input file(s)

Description
the DGS input file
Type
dgs
Quantifier
1 (mandatory)

Output file(s)

outHist

Description
the history output file
Type
csv
About - MUON 2021. All Rights Reserved